Un certificado finito para la desigualdad de Vasc positiva (n=9)
Descubre cómo la IA ayudó a demostrar la desigualdad de Vasc para n=9 mediante un certificado finito de 40320 conos. Un hito en colaboración humano-máquina.
#verificación algorítmica
Descubre cómo la IA ayudó a demostrar la desigualdad de Vasc para n=9 mediante un certificado finito de 40320 conos. Un hito en colaboración humano-máquina.